frank martin mass for double choir